/* hello world demo */
#include <stdio.h"
int main(int argc, char **argv)
{
	    int i;
	    print("hello world\n");
			    return 0;
} 
